Algunas aplicaciones de la teoría de conjuntos

Resumen:

Uno de los resultados centrales del Forcing es el Lema de Rasiowa-Sikorski que permite producir extensiones genéricas de modelos transitivos y numerables de la Teoría de Conjuntos (ZFC). En esta plática veremos sus aplicaciones a otras áreas, generando pruebas originales de caracterizaciones en la Teoría del Orden, Teoría de Gráficas y Topología.

Si da tiempo, mencionaremos la construcción de conjuntos homogéneos en Teoría de Ramsey usando este lema. Más aún, veremos cómo este importante resultado se puede ver como una especie de principio de compacidad/selección.

Compartir este seminario